大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 IEEE Computer Society. Technical Committee on Mathematical Foundations of Computing 的图书(共6748本)

Program transformation and programming environments : report on a workshop directed by F.L. Bauer and H. Remus

0
索取号:TP31/E90159
作者:NATO Advanced Research Workshop on Program Transformation and Programming Environments (1983 : Munich、 Germany)、Pepper、 Peter.、NATO Science Committee.、North Atlantic Treaty Organization. Scientific Affairs Division.、
出版社:Berlin ; New York : Springer-Verlag, 1984.

Heuristics : intelligent search strategies for computer problem solving

0
索取号:TP31/E90179
作者:Pearl、 Judea.、
出版社:London Reading, Mass. : Addison-Wesley Pub. Co., 1984.

The nature of computation : an introduction to computer science

0
索取号:TP31/E90180
作者:Pohl、 Ira.、Shaw、 Alan C.、 1937- joint author.、
出版社:Rockville Potomac, MD : Computer Science Press, 1981.

Computing : a problem-solving approach with FORTRAN 77

0
索取号:TP31/E9025
作者:Nanney、 T. Ray.、
出版社:Englewood Cliffs, N.J. : Prentice-Hall, 1981.

The logical basis for computer programming

0
索取号:TP31/E9930/2
作者:Manna、 Zohar.、Waldinger、 Richard.、
出版社:Reading, Mass. : Addison-Wesley, 1990

The logical basis for computer programming

0
索取号:TP31/E9930/1
作者:Manna、 Zohar.、Waldinger、 Richard.、
出版社:Reading, Mass. : Addison-Wesley, 1985

MicroTSP, for use with the IBM personal computer : for regression and forecasting

0
索取号:TP31/E90166
作者:Hall、 Bronwyn H.、Hall、 Robert Ernest、 1943-、Lilien、 David M.、Micro TSP Associates.、
出版社:New York : McGraw-Hill, 1983.

Decision support software for the IBM personal computer : dBase III plus, Lotus, WordPerfect

0
索取号:TP31/E90146
作者:McLeod、 Raymond.、
出版社:Chicago : Science Research Associates, 1988.

Mathematical aspects of scientific software

0
索取号:TP31/E90184
作者:
出版社:New York : Springer-Verlag, 1988.

Graded problems in computer science

0
索取号:TP31/E90185
作者:McGettrick、 Andrew D.、 1944-、Smith、 Peter D. (Peter Desmond)、 1950-、
出版社:London ; Reading, Mass. : Addison-Wesley, 1983.

Elementary computer graphics

0
索取号:TP31/E90174
作者:Mufti、 Aftab A.、
出版社:Reston, Va. : Reston Pub. Co., 1983.

CASE : computer-aided software engineering

0
索取号:TP31/E9931
作者:Lewis、 T. G. (Theodore Gyle)、 1941-、
出版社:New York : Van Nostrand Reinhold, 1991.

An introduction to computer programming and data structures using MACRO-11

0
索取号:TP31/E90173
作者:Lewis、 Harry R.、
出版社:Reston, Va. : Reston Pub. Co., 1981.

Computer programming and architecture--the VAX-11

0
索取号:TP31/E90122
作者:Levy、 Henry M.、 1952-、Eckhouse、 Richard H.、 1940- joint author.、
出版社:Bedford, Mass. : Digital Press, 1980.

Computer literacy survival kit for the Apple II, IIe family of computers

0
索取号:TP31/E90124
作者:Luehrmann、 Arthur.、Peckham、 Herbert D.、
出版社:New York : McGraw-Hill, 1984.

The art of computer programming

0
索取号:TP31/E20021.2
作者:Knuth、 Donald Ervin、 1938-、
出版社:Reading, Mass., Addison-Wesley Pub. Co. [c1973-<c1981>
最近添加的分类